Schema (matematica)
In matematica uno schema è un concetto importante che connette i campi della geometria algebrica, algebra commutativa e teoria dei numeri. Gli schemi sono stati introdotti da Alexander Grothendieck per generalizzare il concetto di varietà algebrica e taluni li considerano l'oggetto di base per lo studio della geometria algebrica moderna. Tecnicamente uno schema è uno spazio topologico insieme a degli anelli commutativi per ognuno dei suoi aperti, che scaturisce dall'"incollamento" di spettri (spazi di ideali primi) di anelli commutativi.
| Table of contents |
|
2 Definizioni 3 La categoria degli schemi 4 Tipi di schemi 5 OX moduli |
I geometri algebrici della scuola italiana hanno spesso usato un concetto abbastanza impreciso di "punto generico" dando degli enunciati sulle varietà algebriche. Ciò che è vero per un punto generico è vero per ogni punto della varietà , tranne un piccolo numero di punti speciali. Negli anni 20 Emmy Noether ha suggerito per la prima volta un modo per chiarificare il concetto: cominciamo con l'anello delle coordinate della varietà (l'anello di tutte le funzioni polinomiali definite sulla varietà ); gli ideali massimali di questo anello corrispondono ai punti ordinari della varietà (sotto opportune ipotesi) e gli ideali primi non massimali corrispondono ai vari punti generici. Prendendo tutti gli ideali primi si ottiene una collezione di punti ordinari e generici. Noether non continuò il suo approccio.
Negli anni 30 Wolfgang Krull cambiò la situazione e prese un passo decisivo: si prenda qualsiasi anello commutativo, si consideri l'insieme dei suoi ideali primi e lo si trasformi in uno spazio topologico introducendo la topologia di Zariski e si studi la geometria algebrica con questi oggetti piuttosto generici. Altri non capirono il senso del ragionamento di Krull ed egli lo abbandonò.
André Weil era specialmente interessato alla geometria algebrica sui campi finiti ed altri anelli. Negli anni 40 egli ritornò all'approccio con gli ideali primi; infatti egli aveva bisogno di una varietà astratta (al di fuori di uno spazio proiettivo) per motivi di fondazione, soprattutto per la formulazione in maniera algebrica della varietà jacobiana. Nel libro fondamentale di Weil i punti generici sono presi prendendo elementi di un campo algebricamente chiuso, chiamato dominio fondamentale.
All'incirca 1942 Oscar Zariski ha definito uno spazio di Zariski astratto dal campo di funzioni di una varietà algebrica, per i bisogni della geometria birazionale: è come il limite diretto di varietà ordinarie (con il "blowing-up") e la costruzione, che ricalcava la teoria locale, usava anelli di valutazione discreta come punti.
Negli anni 50 Jean-Pierre Serre e Chevalley-Nagata, motivati dalla congettura di Weil che lega la teoria dei numeri e la geometria algebrica, seguirono un approccio simile usando ideali primi come punti. Secondo Pierre Cartier la parola schema fu usata la prima volta nel Seminario Chevalley del 1956, nel quale Chevalley seguiva le idee di Zariski e fu Martineau che propose a Serre di spostarsi sullo spettro di un anello.
Poi Alexander Grothendieck diede la definizione decisiva. Egli definisce lo spettro di un anello commutativo come insieme degli ideali primi con la topologia di Zariski, ma lo arricchisce di un fascio di anelli: ad ogni aperti di Zariski associa un anello di funzioni, pensate come funzioni polinomiali sull'aperto. Questi oggetti sono gli schemi affini; uno schema in generale si ottiene incollando degli schemi affini, analogamente al fatto che le varietà proiettive si ottengono incollando varietà affini.
Cf. anche l'articolo spettro di un anello per una motivazione del fatto che "i punti sono gli ideali primi".
La generalità del concetto di schema fu inizialmente criticata: certi schemi sono ben lontani dall'avere un'interpretazione geometrica. Grothendieck e Jean Dieudonné studiarono la categoria di tutti gli schemi e Pierre Deligne studente di Grothendieck scrisse più tardi che gli schemi bizzarri rendono la categoria più bella.
L'evoluzione del concetto di schema non fu la fine della strada; ma le successive definizione di spazio algebrico e algebric stack da parte di Michael Artin per l'utilizzo nei moduli problems sono di ristretta applicazione tecnica.
Uno schema X è uno spazio localmente anellato con un ricoprimento di aperti Ui tali che la restrizione del fascio OX ad ogni aperto Ui è isomorfo a Spec Ai in quanto spazi localmente anellati, ove Ai è un anello commutativo.
(NB: Vi è stato un cambiamento di assiomi; nei primi anni questo si chiamava preschema e lo schema richiedeva un assioma di separazione)
Schemi isomorphi a Spec(A) con A anello commutativo, si chiamano schemi affini. Si può pensare allo schema come coperto da "mappe coordinate" di schemi affini.
Gli schemi formano una categoria se si prende come morfismi i morfismi di spazi localmente anellati.
I morfismi da uno schema in uno schema affine sono completamente spiegabili grazie alla seguente coppia di funtori aggiunti: Per ogni schema X ed ogni anello commutativo A abbiamo la seguente equivalenza naturale:
La categoria degli schemi ha prodotti finiti, ma bisogna essere attenti: lo spazio topologico sottostante il prodotto di schemi (X,OX) e (Y,OY) non è in generale il prodotto topologico degli spazi sottostanti. Prendiamo Spec(Z[X,Y]) per esempio. Z[X,Y] è il coprodotto nella categoria degli anelli commutativi di Z[X] e Z[Y], dunque Spec(Z[X,Y]) è il prodotto di Spec(Z[X]) e Spec(Z[Y]) nella categoria degli schemi affini (e l'inclusione nella categoria degli schemi rispetta il prodotto). Ma tutti gli insiemi chiusi propri di Spec(Z[X]) sono finiti, mentre Spec(Z[X,Y]) ha molti insiemi chiusi V generati da un polinomio irriducibile P(X, Y) di grado superiore a uno: questi non derivano in alcun modo dai due fattori (l'insieme degli ideali primi non è nemmeno il prodotto cartesiano).Storia e motivazioni
Definizioni
La categoria degli schemi
Poiché Z è un oggetto iniziale nella categoria degli anelli, la categoria degli schemi ha Spec(Z) come oggetto finale.
